منابع مشابه
Loops for Safety Critical Applications
In this paper so-called discrete loops are described which narrow the gap between general loops (e.g. while-or repeat-loops) and for-loops. Although discrete loops can be used for applications that would otherwise require general loops, discrete loops are known to complete in any case. Furthermore it is possible to determine the number of iterations of a discrete loop, while this is trivial to ...
متن کاملOperating Systems for Safety - Critical Applications
Areas of computer applications are far wider than what people normally imagine. Besides the visible applications like word processing and the Internet access using your desktop computer, computer applications cover a vast spectrum of areas, from nuclear reactor and aircraft control systems, to vehicle antilock brake systems (ABS) and electronic toys like play stations. Some of these application...
متن کاملSequential Constructiveness, SCCharts for Safety-Critical Applications
We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. SCCharts [vHDM14] use a statechart notation [Har87] and provide determinate concurrency, based on a synchronous model of com...
متن کاملLC Oscillator Driver for Safety Critical Applications
A CMOS harmonic signal LC oscillator driver for automotive applications working in a harsh environment with high safety critical requirements is described. The driver can be used with a wide range of external components parameters (LC resonance network of a sensor). Quality factor of the external LC network can vary two decades. Amplitude regulation of the driver is digitally controlled and the...
متن کاملArchitectural Reasoning for Safety Critical Software Applications
................................................................................................................. 3 CONTENTS.................................................................................................................. 5 LIST OF FIGURES ................................................................................................... 13 LIST OF TABLES .........................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)05012-1